/* operations.c */
void change_title(void);
void display(char *format, ...);
void display_with_length(char *string, int length);
gchar *GetFont(void);
void SetStyleRecursively(GtkWidget *widget, gpointer data);
void set_style(void);
